1. Twenty-five years of constructive type theory :
پدیدآورنده : edited by Giovanni Sambin and Jan M. Smith
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Type theory, Congresses
رده :
QA9
.
A1
T94
1998
2. Twenty-five years of constructive type theory : proceedings of a congress held in Venice, October 1995
پدیدآورنده : edited by Giovanni Sambin and Jan M. Smith
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Type theory
رده :
QA
9
.
A1C66
1995
